-
1 deducible rule
Большой англо-русский и русско-английский словарь > deducible rule
-
2 deducible rule
Математика: выводимое правило -
3 deducible rule
мат. -
4 deducible
выводимый formally deducible theorem ≈ формально выводимая теорема - deducible formula - deducible rule - deducible rules - deducible sentence - deducible theorem( from) выводимыйБольшой англо-русский и русско-английский словарь > deducible
-
5 rule
1) правило, норма; норматив || устанавливать правила или нормы2) строит. прав'ило3) линейка || линовать, разлиновывать4) правление || управлять, руководить, командовать5) мат. закон6) графить, разграфлять•set closed under rule — множество, замкнутое относительно операции
- blind man's ruleto lay down the rule — формулировать [устанавливать] правило
- box rule- cut rule- em rule- slow-in- sum rule- three sigma rule -
6 выводимое правило
Большой англо-русский и русско-английский словарь > выводимое правило
См. также в других словарях:
Rule of inference — In logic, a rule of inference (also called a transformation rule) is a function from sets of formulae to formulae. The argument is called the premise set (or simply premises ) and the value the conclusion . They can also be viewed as relations… … Wikipedia
Whewell’s philosophy of science and ethics — Struan Jacobs ON SCIENCE Introduction Among the most prodigious of English minds of the nineteenth century, William Whewell (1794–1866) was at various times, and among other things, philosopher, intellectual historian, scientist, educationist,… … History of philosophy
Deduction theorem — In mathematical logic, the deduction theorem is a metatheorem of first order logic.[1] It is a formalization of the common proof technique in which an implication A → B is proved by assuming A and then proving B from this assumption.… … Wikipedia
History of logic — Philosophy ( … Wikipedia
Heyting algebra — In mathematics, Heyting algebras are special partially ordered sets that constitute a generalization of Boolean algebras, named after Arend Heyting. Heyting algebras arise as models of intuitionistic logic, a logic in which the law of excluded… … Wikipedia
metaphysics — /met euh fiz iks/, n. (used with a sing. v.) 1. the branch of philosophy that treats of first principles, includes ontology and cosmology, and is intimately connected with epistemology. 2. philosophy, esp. in its more abstruse branches. 3. the… … Universalium
Faith — • In the Old Testament, the Hebrew word means essentially steadfastness. As signifying man s attitude towards God it means trustfulness or fiducia Catholic Encyclopedia. Kevin Knight. 2006. Faith Faith … Catholic encyclopedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Charles Sanders Peirce — B … Wikipedia
Charles Peirce — Infobox Scientist name = Charles Peirce box width = image size = 200px caption = Charles Peirce birth date = September 10, 1839 birth place = Cambridge, Massachusetts death date = April 19, 1914 death place = residence = citizenship = nationality … Wikipedia
Science and British philosophy: Boyle and Newton — G.A.J.Rogers INTRODUCTION Achievements in the natural sciences in the period from Nicholas Copernicus (1473– 1543) to the death of Isaac Newton (1642–1727) changed our whole understanding of the nature of the universe and of the ways in which we… … History of philosophy